Liberatore, Paolo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Reducing belief revision to circumscription (and vice versa)

Paolo Liberatore, Marco Schaerf

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 2.63 MB

english, 1997

2

Climate variability in agriculture and crop water requirement: Spatial analysis of Italian provinces

Casolani, Nicola, Cartone, Alfredo, Postiglione, Paolo, Liberatore, Lolita

Journal:

Journal of Cleaner Production

Year:

2020

File:

PDF, 1.53 MB

2020

3

Belief Revision and Update: Complexity of Model Checking

Paolo Liberatore, Marco Schaerf

Journal:

Journal of Computer and System Sciences

Year:

2001

Language:

english

File:

PDF, 228 KB

english, 2001

4

The size of a revised knowledge base

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 322 KB

english, 1999

5

Where fail-safe default logics fail

Liberatore, Paolo

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 197 KB

english, 2007

6

On the complexity of choosing the branching literal in DPLL

Paolo Liberatore

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 99 KB

english, 2000

7

In-plane response of masonry infill walls: Comprehensive experimentally-based equivalent strut model for deterministic and probabilistic analysis

Liberatore, Laura, Noto, Fabrizio, Mollaioli, Fabrizio, Franchin, Paolo

Journal:

Engineering Structures

Year:

2018

Language:

english

File:

PDF, 3.06 MB

english, 2018

8

The complexity of belief update

Paolo Liberatore

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 377 KB

english, 2000

9

Redundancy in logic III: Non-monotonic reasoning

Paolo Liberatore

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 393 KB

english, 2008

10

On the complexity of second-best abductive explanations

Liberatore, Paolo, Schaerf, Marco

Journal:

International Journal of Approximate Reasoning

Year:

2015

Language:

english

File:

PDF, 368 KB

english, 2015

11

Redundancy in logic II: 2CNF and Horn propositional formulae

Paolo Liberatore

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 417 KB

english, 2008

12

Redundancy in logic I: CNF propositional formulae

Paolo Liberatore

Journal:

Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 223 KB

english, 2005

13

REACTION BETWEEN 2,2′-DITHIODIANILINE AND ETHYL 2-OXO-1-CYCLOALKANECARBOXYLATES

Marchini, Paolo, Trapani, Giuseppe, Liso, Gaetano, Berardi, Vincenza, Liberatore, Felice, Moracci, Franco Micheletti

Journal:

Phosphorous and Sulfur and the Related Elements

Year:

1976

Language:

english

File:

PDF, 443 KB

english, 1976

14

The size of BDDs and other data structures in temporal logics model checking

Ferrara, Andrea, Liberatore, Paolo, Schaerf, Marco

Journal:

IEEE Transactions on Computers

Year:

2015

Language:

english

File:

PDF, 285 KB

english, 2015

15

The compilability framework

Liberatore, Paolo, Schaerf, Marco

Journal:

Intelligenza Artificiale

Year:

2013

File:

PDF, 65 KB

2013

16

Dynamic Allocation of Buffer Capacity in Discrete Event Systems

Liberatore, Giovanni, Nicosia, Salvatore, Valigi, Paolo

Journal:

Intelligent Automation & Soft Computing

Year:

1996

Language:

english

File:

PDF, 1.48 MB

english, 1996

17

Compilability of propositional abduction

Liberatore, Paolo, Schaerf, Marco

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 148 KB

english, 2007

18

Consistency Defaults

Paolo Liberatore

Journal:

Year:

2007

Language:

english

File:

PDF, 2.21 MB

english, 2007

19

Complexity and compilability of diagnosis and recovery of graph-based systems

Paolo Liberatore

Journal:

International Journal of Intelligent Systems

Year:

2005

Language:

english

File:

PDF, 207 KB

english, 2005

20

A som study of DC-PBH laser catastrophic failures

Paolo Montangero, Michele Liberatore, Giuseppina Arman

Journal:

Quality and Reliability Engineering International

Year:

1991

Language:

english

File:

PDF, 493 KB

english, 1991

21

[ACM Press the fourteenth ACM SIGACT-SIGMOD-SIGART symposium - San Jose, California, United States (1995.05.22-1995.05.25)] Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '95 - The size of a revised knowledge base

Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo, Schaerf, Marco

Year:

1995

Language:

english

File:

PDF, 1.09 MB

english, 1995

22

Belief Merging by Examples

Liberatore, Paolo

Journal:

ACM Transactions on Computational Logic

Year:

2015

Language:

english

File:

PDF, 898 KB

english, 2015

23

Environmental radiation dosimetry at Argentine Antarctic Marambio Base (64° 13′ S, 56° 43′ W): preliminary results

Zanini, Alba, Ciancio, Vicente, Laurenza, Monica, Storini, Marisa, Esposito, Adolfo, Terrazas, Juan Carlos, Morfino, Paolo, Liberatore, Alessandro, Di Giovan, Gustavo

Journal:

Journal of Environmental Radioactivity

Year:

2017

Language:

english

File:

PDF, 2.55 MB

english, 2017

24

Synthesis and pharmacological properties of 5a,6,7,8,9,10,10a,11-octahydrobenzo[b]cyclohepta[e][1,4]thiazine derivatives

Moracci, Franco M., Liberatore, Felice, Marchini, Paolo, Liso, Gaetano, Cardellini, Mario

Journal:

Journal of Medicinal Chemistry

Year:

1974

Language:

english

File:

PDF, 381 KB

english, 1974

25

The complexity of model checking for propositional default logics

Paolo Liberatore, Marco Schaerf

Journal:

Data & Knowledge Engineering

Year:

2005

Language:

english

File:

PDF, 199 KB

english, 2005

26

Performance of Reinforced Concrete Buildings During the 2002 Molise, Italy, Earthquake

Decanini, Luis D., De Sortis, Adriano, Goretti, Agostino, Liberatore, Laura, Mollaioli, Fabrizio, Bazzurro, Paolo

Journal:

Earthquake Spectra

Year:

2004

Language:

english

File:

PDF, 1.83 MB

english, 2004

27

SPIE Proceedings [SPIE San Jose - DL tentative - San Jose, CA (Friday 1 November 1991)] Laser Testing and Reliability - Application of OBIC and photoluminescence to the failure analysis of laser diode devices

Azzini, Giuseppe A., De Franceschi, R., Liberatore, M., Serra, Laura, Montangero, Paolo, Begley, David L., Wang, S. C.

Year:

1992

Language:

english

File:

PDF, 609 KB

english, 1992

28

Sodium borohydride-carboxylic acid systems. Useful reagents for the alkylation of amines

Marchini, Paolo, Liso, Gaetano, Reho, Antonia, Liberatore, Felice, Micheletti Moracci, Franco

Journal:

Journal of Organic Chemistry

Year:

1975

Language:

english

File:

PDF, 584 KB

english, 1975

29

Compilability and compact representations of revision of Horn knowledge bases

Liberatore, Paolo

Journal:

ACM Transactions on Computational Logic

Year:

2000

Language:

english

File:

PDF, 213 KB

english, 2000

30

On the complexity of extension checking in default logic

Paolo Liberatore

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

31

Environmental radiation dosimetry at high southern latitudes with Liulin type instruments

Zanini, Alba, Vernetto, Silvia, Ciancio, Vicente, Di Giovan, Gustavo, Morfino, Paolo, Liberatore, Alessandro, Giannini, Gianrossano, Hubert, Guillaume

Journal:

Journal of Environmental Radioactivity

Year:

2019

Language:

english

File:

PDF, 1.55 MB

english, 2019

32

Chemical Warfare Agents Analyzer Based on Low Cost, Room Temperature, and Infrared Microbolometer Smart Sensors

Corsi, Carlo, Dundee, Andrea, Laurenzi, Paolo, Liberatore, Nicola, Luciani, Domenico, Mengali, Sandro, Mercuri, Angelo, Pifferi, Andrea, Simeoni, Mirko, Tosone, Gaetano, Viola, Roberto, Zintu, Donatel

Journal:

Advances in Optical Technologies

Year:

2012

Language:

english

File:

PDF, 2.87 MB

english, 2012

33

Seminormalizing a default theory

Liberatore, Paolo

Journal:

Journal of Applied Non-Classical Logics

Year:

2005

Language:

english

File:

PDF, 304 KB

english, 2005

34

Influence of Oxidant Agent on Syngas Composition: Gasification of Hazelnut Shells through an Updraft Reactor

Gallucci, Francesco, Liberatore, Raffaele, Sapegno, Luca, Volponi, Edoardo, Venturini, Paolo, Rispoli, Franco, Paris, Enrico, Carnevale, Monica, Colantoni, Andrea

Journal:

Year:

2019

Language:

english

File:

PDF, 3.05 MB

english, 2019

35

Conditional independence in propositional logic

Jérôme Lang, Paolo Liberatore, Pierre Marquis

Journal:

Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 341 KB

english, 2002

36

Preprocessing of Intractable Problems

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 247 KB

english, 2002

37

The Role of Preoperative Tc-99m HMPAO-Labeled Leukocyte Total-Body Scans in Aortic Prosthetic Reconstruction

Liberatore, Mauro, Fiore, Vittorio, Iurilli, Anna Paola, Santini, Claudio, Baiocchi, Pia, Galiè, Maurizia, Schioppa, Annalisa, Rizzo, Luigi, Fiorani, Paolo

Journal:

Clinical Nuclear Medicine

Year:

2001

Language:

english

File:

PDF, 296 KB

english, 2001

38

Consistency Defaults

Paolo Liberatore

Journal:

Year:

2007

Language:

english

File:

PDF, 692 KB

english, 2007

39

SPIE Proceedings [SPIE OE/LASE'93: Optics, Electro-Optics, & Laser Applications in Science& Engineering - Los Angeles, CA (Sunday 17 January 1993)] Laser Diode Technology and Applications V - Localization of crystallographic defects in failed laser diodes using optical probes

Serra, Laura, Azzini, Giuseppe A., De Franceschi, R., Liberatore, M., Mancini, M., Manzone, Guido, Montangero, Paolo, Renner, Daniel

Year:

1993

Language:

english

File:

PDF, 607 KB

english, 1993

40

Tc-99m Exametazime-Labeled Leukocyte Scans in the Study of Infections in Skull Neurosurgery

Liberatore, Mauro, Drudi, Francesco Maria, Tarantino, Roberto, Prosperi, Daniela, Fiore, Vittorio, Missori, Paolo, Venditti, Mario, Delfini, Roberto

Journal:

Clinical Nuclear Medicine

Year:

2003

Language:

english

File:

PDF, 373 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски